TAGs: Linear inequalities examples